de Morganの法則第4は弱排中律と同値
直観主義論理
で成立しない
De Morganの法則第4
は
弱排中律
と同値
これを
Heyting代数
に追加した論理を
De Morgan-Heyting代数
または
Stone代数
という．
https://ncatlab.org/nlab/show/De+Morgan+Heyting+algebra